interface-compatible(A;B)
== l:IdLnk, tg:Id.
== (interface-link(A;B;l;tg)  A(source(l)).dout(l,tg)  B(destination(l)).din(l,tg))
== & (interface-link(B;A;l;tg)  B(source(l)).dout(l,tg)  A(destination(l)).din(l,tg)) 

latex

Definitions	IdLnk, x:A. B(x), Id, P & Q, P  Q, interface-link(A;B;l;tg), M.dout(l,tg), source(l), M.din(l,tg), destination(l)
FDL editor aliases	interface-compatible